#43. Fixed a bug that shows an error for inconsistent postcondition with tasks.