CasualConc (20200624) with bug fixes