make MaxSAT parser more strict