merged with puresymbolic and fixed a bug in including module Symbolic.