changed entailment relation for labels in ltlmc and assignment rule in basic.