ERROR: RedundantTypeComparison - input.hack:8:10 - $a is not AChild has already been asserted