towards symbolic execution into normal form
Merge pull request #1 from SatiricalThumb/symbex

towards symbolic execution into normal form