prag($varinst,8, index(1)).
prag($inst_varinst_h,8,index(2)).
prag($inst_varinst_b,8,index(2)).
prag($inst_varinst_hf,8,index(3)).
prag($inst_varinst_hs,8,index(3)).
prag($inst_varinst_bf,8,index(3)).
prag($inst_varinst_bs,8,index(3)).

prag($coninst,5, index).
prag($strinst,4, index).

prag($varsubinst,7, index(1)).
prag($inst_varsubinst_h,7,index(2)).
prag($inst_varsubinst_b,7,index(2)).
prag($inst_varsubinst_hf,7,index(3)).
prag($inst_varsubinst_hs,7,index(3)).
prag($inst_varsubinst_bf,7,index(3)).
prag($inst_varsubinst_bs,7,index(3)).

prag($consubinst,3, index).
