Program error, verification of assignment cost fails!