v0.4.0

Corrections in GGFL_cda1:

• The disjoin judgement, which had been removed unintentionally, is added.
• The abs is added into check in updateB.