Added inherited attributes for global substitution (superSub) and global (solved) conststraints (solvedConstraints) for pretty printing the result of CFA