Nonsingularity of Grain-like cascade FSRs via semi-tensor product