add experiment with Symbolic execution @namin
turns some of the symbolic.scala examples into tests @namin