Add support for explicit assumptions.
Also parse the assumptions.
Also make sure the assumption doesn't overwrite anything defined before.