updated ast-creator to version 1.6.6
code format + javadoc correct
added result files to prob solver
commented failing tests prob solver
changed test to be based on results in the prob solver