fixed minor bugs with block tags (module stateToPvsSpecificationWriter)