Added dummy argument to Internal.solve()

This is for #222.
Added constant prefix.

This is for #222.