Method isSimple

src/main/java/wyil/util/WyilUtils.java:137–149

Check whether a given assignment is "simple" or not. That is, assigns only a single location on the left-hand side. @param stmt @return

(Stmt.Assign stmt)

	 * @return
	 */
	public static boolean isSimple(Stmt.Assign stmt) {
		Tuple<LVal> lhs = stmt.getLeftHandSide();

		for (int i = 0; i != lhs.size(); ++i) {
			if (i > 0) {
				return false;
			} else if (lhs.get(i).getType().shape() > 1) {
				return false;
			}
		}

		return true;
	}

	/**
	 * Check whether a given assignment "has interference" or not. That is, where