1 2 3 4 5
package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder class Logic2VampireLanguageMapper_AssertionMapper { }