Eliminated some record notation.
Simplified named function lookup (partially).
Slight improvements in CFA constraint solver.
Slight improvements in CFA constraint solver.
Moved the CFA solver to its own module.
Re-implemented CFA solver.