Verification in Singasandra