package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder

class Logic2VampireLanguageMapper_AssertionMapper {
	
}