add constrained phi evaluation capability with IDA