Generalize symbolic error propagation to handle more instructions

[domainexpert]

@Himeshi This is to avoid errors when running examples in basic directory of fp-examples. I will merge it myself for now, but please check later.