fix bugs on the flow down rule and start annotating ssjava class library again