fix make error
postconditions must also be pure
Don't attach comments twice
recompile
second release