Added context tests.
Formula-aware tests.
Set batch_unificiation flag to false.
get functional tests passing again.
get functional tests passing again.
Performance tests (still kinda slow).
Performance still too slow.