simplify clauses
customize diff format
change the way of counting output judgements
introduce slot token