Added ConstChecker and NotChecker.