Initial revision of working precondition framework
Added definitions for TFunc2 to TFunc8