added new logical verifiers
fixes and improvements for the line verifier