Change consider_st0 and consider_st1: not_make and not_upd_abd return 0 only when there are no such updates (of not_make and not_upd_abd). Also refine the definition of latest_time/3.

Adding more counterfactual examples from the appendix of JELIA'14 paper.
more counterfactual examples from the appendix of JELIA paper are added
fix process_FailRules, particularly for failing expect and expect_not
refine definition of holds_h, so it also works for testing whether specific abducibles (rather than general goals) hold
dealing with multiple goals in queries and multiple updates
- adding 'current' time and time is progressing after updates at current time are activated
- introducing sequence of updates, including updates at current time as default update
renaming folder test to examples
adding test directory to .gitignore
remove test folder from .gitignore
fix query/4 and addRuleId/1
terror bombing example added
rename example files