add missing #include
test_tfsat.c: Remove some forward declarations and unused variables.
tfsat.c: Handle embedding a little better.  It was previously not
marking T in the case of T satisfies (T) except E.