VIS: A system for Verification and Synthesis