Remember to instrument branches of conditionals