added parse tests. Fixes to <instruction> and BMC operator